6.42/7.51	unsat
