29.89/30.19	unsat
