5.08/7.01	unsat
