6.77/10.17	unsat
