29.25/29.76	unsat
