4.63/6.01	unsat
