5.42/5.49	unsat
