5.68/6.71	unsat
