26.88/28.16	unsat
