5.67/8.14	unsat
