4.78/7.01	unsat
