29.22/31.48	unsat
