4.42/5.52	unsat
