6.62/7.71	unsat
