6.69/8.67	unsat
