21.34/21.48	unsat
