28.52/31.97	unsat
