7.63/7.67	unsat
