1.39/3.42	unsat
