18.99/21.48	unsat
