5.42/6.37	unsat
