5.47/7.01	unsat
