28.16/29.77	unsat
