5.97/6.01	unsat
