26.94/28.49	unsat
