6.31/6.75	unsat
