49.58/49.73	unsat
