5.42/6.49	unsat
