28.81/31.22	unsat
