6.77/7.61	unsat
