2.34/6.01	unsat
