5.47/6.01	unsat
