28.75/29.68	unsat
