6.67/6.95	unsat
