28.81/29.66	unsat
