27.05/28.68	unsat
