49.14/49.69	unsat
