6.27/9.86	unsat
