3.42/3.48	unsat
