19.88/20.89	unsat
