5.72/7.01	unsat
