49.22/49.69	unsat
