6.07/6.62	unsat
