4.68/7.01	unsat
