6.28/10.01	unsat
