29.03/30.71	unsat
