6.77/10.51	unsat
