48.73/49.40	unsat
