28.40/31.97	unsat
