6.77/10.64	unsat
