26.95/28.08	unsat
