29.26/30.09	unsat
