19.93/21.48	unsat
