29.21/31.28	unsat
