27.71/28.31	unsat
