6.79/9.71	unsat
