27.64/31.35	unsat
