4.97/6.64	unsat
