3.37/3.47	unsat
