4.67/7.14	unsat
