6.27/7.01	unsat
