29.12/29.90	unsat
