6.76/7.49	unsat
