3.93/7.01	unsat
