49.49/49.69	unsat
