27.47/27.71	unsat
