4.48/6.01	unsat
