26.94/29.68	unsat
