3.37/3.42	unsat
