48.97/49.19	unsat
