28.13/38.59	unsat
