48.97/49.14	unsat
