6.77/7.71	unsat
