27.05/27.84	unsat
