27.32/29.14	unsat
