27.64/27.73	unsat
