2.42/3.55	unsat
