6.60/7.71	unsat
