29.14/29.28	unsat
